Whip: higher-order contracts for modern services
نویسندگان
چکیده
منابع مشابه
Higher-order Behavioral Contracts for Distributed Components
Inspired by the Design by Contract paradigm, we intro-duce CONSUL, a contract system for distributed compo-nents. CONSUL monitors distributed components at run timewith higher-order behavioral contracts. Contract monitoringis local to a component, and the component is treated asa black box. Thus it does not disturb the highly decouplednature of distributed components and...
متن کاملTreatJS: Higher-Order Contracts for JavaScript
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS’s novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contr...
متن کاملTreatJS: Higher-Order Contracts for JavaScript (Artifact)
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS’s novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contr...
متن کاملUsing higher-order contracts to model session types
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is set-theore...
متن کاملUsing Higher-Order Contracts to Model Session Types (Extended Abstract)
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is settheoret...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2017
ISSN: 2475-1421
DOI: 10.1145/3110280